Action Reification in Object-oriented Specification

Reiication is a popular technique to reduce complexity of the software design process. This technique has to be re-investigated for the comprehensive object-oriented approach. Object-oriented speciications comprise structure and behavior of systems. Due to this sophisticated idea two kinds of reiication appear: data reiication and action reiication. In this paper we present an approach to incorporate action reiication in object-oriented speciication. A logic is de-ned which serves as a domain to translate speciications. Moreover, we deene a language for reiication and formalize it with the logic. Interpretation structures of this logic are labelled event structures which are introduced brieey and satisfaction of formulas is deened. With an example we explain our ideas of correct reiication and establish a reiication condition. Finally, we show how data reiication is uniformly included in our approach.